Buy Used and New Anders P . Ravn Books

Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings (Lecture ... / Programming and Software Engineering)

by

ISBN 13: 9783642047602

Format: Paperback (414 pages)
Publisher: Springer
Published: 29 Sep 2009

Save for later